Retraction: Intelligent Stroke Subtyping Using Recursive Elimination (J. Phys.: Conf. Ser. 1916 012078)
نویسندگان
چکیده
This article (and all articles in the proceedings volume relating to same conference) has been retracted by IOP Publishing following an extensive investigation line with COPE guidelines. uncovered evidence of systematic manipulation publication process and considerable citation manipulation. respectfully requests that readers consider work within this potentially unreliable, as not through a credible peer review process. regrets our usual quality checks did identify these issues before publication, have since put additional measures place try prevent from reoccurring. wishes credit anonymous whistleblowers Problematic Paper Screener [1] for bringing some above attention, prompting us investigate further. Cabanac G, Labbé C Magazinov A 2021 arXiv: 2107.06751v1 Retraction published: 23 February 2022
منابع مشابه
Recursive subtyping revealed
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they relate to simpler declarative speci cations is not widely understood, due in part to the di culty of the available introductions to the area. This tutorial paper o ers an \end-to-end" introduction to recursive types a...
متن کاملSubtyping Recursive Games
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves recursive type equations up to equality, and is shown to validate a subtyping rule for recursive types proposed by Amadio and Cardelli.
متن کاملEecient Recursive Subtyping
Subtyping in the presence of recursive types for the calculus was studied by Amadio and Cardelli in In that paper they showed that the problem of deciding whether one recursive type is a subtype of another is decidable in exponential time In this paper we give an O n algorithm Our algorithm is based on a simpli cation of the de nition of the subtype relation which allows us to reduce the proble...
متن کاملConf . on Intelligent Robots and Systems ( IROS )
We are developing autonomous control systems for mission-critical domains that require hard real-time performance guarantees. To automatically build reac-tive plans that meet these requirements, we use formal veriication (model checking) techniques to assess the quality of plans as they are built. The veriica-tion process uses precise timed automaton models of the executive that will run the re...
متن کاملSubtyping Recursive Types in Kernel Fun
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subtyping and parametric polymorphism, only negative results are known [17]. This paper studies the problem of subtype checking for recursive types in system kernel Fun, a typed -calculus with subtyping and bounded second o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2021
ISSN: ['1742-6588', '1742-6596']
DOI: https://doi.org/10.1088/1742-6596/1916/1/012318